From UML 2 Sequence Diagrams to State Machines by Graph Transformation
نویسندگان
چکیده
Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The specification of the transformation rules is based on the concrete syntax of sequence diagrams and state machines. We introduce tailored transformation support for sequence diagrams and a novel graphical operator to match and transform combined fragments.
منابع مشابه
Using Concrete Syntax in Graph-based Model Transformations
The emergence of large and complex software systems increases the interest in model-driven engineering, as a way to lower the cost of development and maintenance of software. Models allow us to hide irrelevant details, provide different model viewpoints, and isolate and modularize models of cross-cutting concerns of a system. The emerging technologies for aspectoriented modeling and weaving pro...
متن کاملState Diagrams in Uml: a Formal Semantics Using Graph Transformations or Diagrams Are Nice, but Graphs Are worth Their Price
We show how to transform UML (Uniied Modeling Language) state diagrams into graphs by making explicit the intended semantics of the diagram. The process of state expansion in nested state diagrams is explained by graph transformations in three steps: (1) adding boundary nodes introducing a precise interface for the state to be expanded, (2) expanding the state, and (3) removing the boundary nod...
متن کاملScenario-based Synthesis of Annotated Class Diagrams in UML
This paper discusses how to generate a class diagram, annotated with operation descriptions, from a set of sequence diagrams in the Unified Modeling Language (UML). The transformation process consists of the following steps. First, we translate the elements in a sequence diagram to elements of class diagrams using basic transformation rules together with more advanced heuristics. We then use an...
متن کاملCoherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions ...
متن کاملModel transformation for validation of software design
Model checking is a method for formally verifying finite-state concurrent systems such as circuit designs and communication protocols. System specification is expressed as temporal logic formula, where efficient symbolic algorithms are used to traverse the model defined by the system and check if the specification holds or not. Large state space can often be traversed in minutes. Graphical nota...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Object Technology
دوره 10 شماره
صفحات -
تاریخ انتشار 2011